COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Peter Hilton - topologist, cryptanalyst, math Case Western
C00004 ENDMK
C⊗;
Peter Hilton - topologist, cryptanalyst, math Case Western
Sean Wiley - retired cryptanalyst, 

Donald Michie suggests that the above former cryptanalysts are
domain experts for the sort of hypothesis induction that would
be involved in SEQUEN[F80,JMC].

Turing 1949 lecture to London Mathematical Society
I.J. Good is the other expert on Turing's thinking.

Good, Turing, 
Turing wanted info about size of human memory
Michie is having new shot at monkey-and-bananas
Alan Robinson has new logic programming system embedded in LISP
do you have a copy
non-monotonic reasoning

How about preview as a general feature for editors and other programs
that affect files?  Whenever you contemplate an action and fear it
might be disastrous, prefix by a preview request.  This will cause
the system to remember enough to undo the command in circumstances
in which it might not otherwise do so.  The idea preview might be
a key you can hold down in place of an enter key.  While you hold
it, you see the result.  Releasing it cancels.  Pressing <confirm>
confirms it.  The syntax needs thought.